Инструментальные средства программирования на основе управляемого кода
Руководитель от Университета ИТМО: Логинов Иван Павлович
Открытых вакансий: 1
Краткая аннотация
В настоящее время созданы и хорошо проработаны инструментальные средства программирования, решающие различные задачи - кодирования, автоматизации синтеза программ, отладки и профилирования. В то же время, большая часть из них связана с необходимостью поддержки решений, разрабатываемых годами, что приводит ко множеству технических ограничений в части переносимости, безопасности, быстродействия программ, а также с точки зрения скорости разработки и развертывания программных систем.
Мы занимаемся исследованием в области разработки средств программирования программ, включая инфраструктуру, необходимую для выполнения программ на базе управляемого кода (managed code). Участие в исследованиях и разработках по данному направлению позволит получить новые результаты в части построения комплексного набора инструментальных средств, а также приобрести знания и умения в области системного программирования.
Направления работы
- Исследование подходов к обеспечению переносимости программного обеспечения без необходимости повторной разработки.
- Разработка и исследование средств динамической кластеризации в гетерогенный средах.
- Разработка и исследование инструментальных средств программирования (текстовые редакторы, отладчики, исследования в области специализированных структур данных).
Стек технологий
1) User and Organizations
- Инструменты гибкой разработки (Agile)
- Тайм-менеджмент и планирование временем
2) Software Development
- Программирование на языке C#, C
- Базы Данных (реляционные, нереляционные, принципы организации данных внутри СУБД)
Кем станет студент по завершению магистратуры
В зависимости от выполняемых задач внутри проекта выпускник может стать:
- исследователем
- системным архитектором
- инженером-программистом
- системным программистом
Пререквизиты (входные требования)
Для участия в проекте необходимы базовые знания по следующим направлениям:
- дискретная математика
- математическая статистика
- теория алгоритмов
- математическая логика
- программирование на языках C#, C, Ассемблере